101. Bayesian time series models /
المؤلف: edited by David Barber, A. Taylan Cemgil, Silvia Chiappa
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Bayesian statistical decision theory,Time-series analysis
رده :
QA280
.
B39
2011
102. Block trace analysis and storage system optimization :
المؤلف: Jun Xu.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: MATLAB.,MATLAB.,Computer networks.,Python (Computer program language),Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Network hardware.,Python (Computer program language)
رده :
TK5105
.
5
103. Buchi's monadic second order successor arithmetic
المؤلف: Siefkes, Dirk
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Predicate calculus,، Sequential machine theory
رده :
QA
3
.
L28
no
.
120
104. Buchi's monadic second order successor arithmetic
پدیدآورنده : Siefkes, Dirk
موضوع : ، Predicate calculus,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
105. Buchi`s monadic second order successor arithmetic
المؤلف: Siefkes
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Predicate calculus,Sequential machine theory
رده :
QA
3
.
L28
no
.
120
106. Cellular Automata and Modeling of Complex Physical Systems :
المؤلف: edited by Paul Manneville, Nino Boccara, Gérard Y. Vichniac, Roger Bidaux.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Physical organic chemistry.,Physics.,Software engineering.
رده :
QC174
.
7
E358
1989
107. Checking Experiments in Sequential Machines
المؤلف: / Asok Bhattacharyya
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Fault tolerant computing,Sequential machine theory,Electronic digital computers-Testing
رده :
QA
76
.
9
.
F38B47
1989
108. Checking experiments in sequential machiness
المؤلف: Asok Bhattacharyya
المکتبة: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع: Sequential machine theory
109. Checking experiments in sequential machines
المؤلف: Bhattacharyya, Asok
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Foult tolerant computing,، Sequential machine theory,، Electronic digital computer-Testing
رده :
QA
76
.
9
F38
B47
110. Circuits logiques et automatismes a sequences
المؤلف: Naslin, Pierre
المکتبة: (طهران)
موضوع: ، Switching theory,، Ore deposits,، Mines and mineral resources,، Sequential machine theory
رده :
TK
7868
.
S9
N3
1965
111. Combinatorics on traces
المؤلف: Diekert, Volker
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4
.
D54
1990
112. Combinatorics on traces
المؤلف: Diekert, Volker, 5591-
المکتبة: (طهران)
موضوع: ، Sequential machine theory,، Formal languages
رده :
QA
76
.
L28
Vol
.
454
113. Communicating Process Architectures 2002 :
المؤلف: edited by James Pascoe [and others].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer multitasking, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Fonctionnement multitâche, Congrès.,Occam (Langage de programmation), Congrès.,Parallélisme (Informatique), Congrès.,Computer multitasking.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,occam (Computer program language),Parallel processing (Electronic computers)
رده :
QA76
.
73
.
O2
W67
2002eb
114. Computability and decidability; an introduction for students of computer science
پدیدآورنده : Loeckx, Jacques
موضوع : ، Sequential machine theory,، Turing machines
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
115. Computation and automata
المؤلف: Salomaa, Arto
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
116. Computation and automata
المؤلف: Salomaa, Arto
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Computable functions,، Computational complexity,Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
117. Computation and automata
المؤلف: Salomaa, Arto, 4391-
المکتبة: (طهران)
موضوع: ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
118. Computational linguistics and intelligent text processing
المؤلف: / Alexander Gelbukh (ed.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Text processing (Computer science), Congresses,Computational linguistics, Congresses,Discourse analysis, Data processing, Congresses,Information storage and retrieval systems, Congresses
رده :
QA76
.
9
.
T48C49
2010
119. Computer architecture and organization
المؤلف: Ian East.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: COMPUTERS -- Machine Theory.,COMPUTERS -- Reference.,Electronic digital computers.
رده :
QA76
.
5
I264
1990
120. Construction des machines sequentielles industrielles
المؤلف: / par Pierre Girard, Pierre Naslin
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Sequential machine theory,Switching theory
رده :
629
.
891
Gi-C
